291 research outputs found
A class of compact subsets for non-sober topological spaces
We define a class of subsets of a topological space that coincides with the
class of compact saturated subsets when the space is sober, and with enough
good properties when the space is not sober. This class is introduced
especially in view of applications to capacity theory.Comment: 6 page
Representation of maxitive measures: an overview
Idempotent integration is an analogue of Lebesgue integration where
-maxitive measures replace -additive measures. In addition to
reviewing and unifying several Radon--Nikodym like theorems proven in the
literature for the idempotent integral, we also prove new results of the same
kind.Comment: 40 page
The idempotent Radon--Nikodym theorem has a converse statement
Idempotent integration is an analogue of the Lebesgue integration where
-additive measures are replaced by -maxitive measures. It has
proved useful in many areas of mathematics such as fuzzy set theory,
optimization, idempotent analysis, large deviation theory, or extreme value
theory. Existence of Radon--Nikodym derivatives, which turns out to be crucial
in all of these applications, was proved by Sugeno and Murofushi. Here we show
a converse statement to this idempotent version of the Radon--Nikodym theorem,
i.e. we characterize the -maxitive measures that have the
Radon--Nikodym property.Comment: 13 page
Domain theory and mirror properties in inverse semigroups
Inverse semigroups are a class of semigroups whose structure induces a
compatible partial order. This partial order is examined so as to establish
mirror properties between an inverse semigroup and the semilattice of its
idempotent elements, such as continuity in the sense of domain theory.Comment: 15 pages. The final publication is available at www.springerlink.com.
See http://link.springer.com/article/10.1007%2Fs00233-012-9392-4?LI=tru
How regular can maxitive measures be?
We examine domain-valued maxitive measures defined on the Borel subsets of a
topological space. Several characterizations of regularity of maxitive measures
are proved, depending on the structure of the topological space. Since every
regular maxitive measure is completely maxitive, this yields sufficient
conditions for the existence of a cardinal density. We also show that every
outer-continuous maxitive measure can be decomposed as the supremum of a
regular maxitive measure and a maxitive measure that vanishes on compact
subsets under appropriate conditions.Comment: 24 page
- …